Navet, Nicolas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2012 9th IEEE International Workshop on Factory Communication Systems - (WFCS 2012) - Lemgo, NRW, Germany (2012.05.21-2012.05.24)] 2012 9th IEEE International Workshop on Factory Communication Systems - Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues

Davis, Robert I., Navet, Nicolas

Year:

2012

Language:

english

File:

PDF, 409 KB

english, 2012

2

[IEEE 2010 IEEE International Symposium on Industrial Electronics (ISIE 2010) - Bari, Italy (2010.07.4-2010.07.7)] 2010 IEEE International Symposium on Industrial Electronics - Multi-source and multicore automotive ECUs - OS protection mechanisms and scheduling

Navet, Nicolas, Monot, Aurelien, Bavoux, Bernard, Simonot-Lion, Francoise

Year:

2010

Language:

english

File:

PDF, 706 KB

english, 2010

3

Regime switching model for financial data: Empirical risk analysis

Salhi, Khaled, Deaconu, Madalina, Lejay, Antoine, Champagnat, Nicolas, Navet, Nicolas

Journal:

Physica A: Statistical Mechanics and its Applications

Year:

2016

Language:

english

File:

PDF, 583 KB

english, 2016

4

Event Notification in CAN-based Sensor Networks

Bloom, Gedare, Cena, Gianluca, Cibrario Bertolotti, Ivan, Hu, Tingting, Navet, Nicolas, Valenzano, Adriano

Journal:

IEEE Transactions on Industrial Informatics

Year:

2019

Language:

english

File:

PDF, 613 KB

english, 2019

5

[IEEE 2019 15th IEEE International Workshop on Factory Communication Systems (WFCS) - Sundsvall, Sweden (2019.5.27-2019.5.29)] 2019 15th IEEE International Workshop on Factory Communication Systems (WFCS) - A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks

Mai, Tieu Long, Navet, Nicolas, Migge, Jorn

Year:

2019

Language:

english

File:

PDF, 33 KB

english, 2019

6

Insights on the Configuration and Performances of SOME/IP Service Discovery

Seyler, Jan, Navet, Nicolas, Fejoz, Loïc

Journal:

SAE International Journal of Passenger Cars - Electronic and Electrical Systems

Year:

2015

Language:

english

File:

PDF, 2.15 MB

english, 2015

7

Maximizing the Robustness of TDMA Networks with Applications to TTP/C

Bruno Gaujal, Nicolas Navet

Journal:

Real-Time Systems

Year:

2005

Language:

english

File:

PDF, 984 KB

english, 2005

8

[IEEE 2008 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing (SUTC) - Taichung, Taiwan (2008.06.11-2008.06.13)] 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008) - Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms

N, Vincent, Goossens, Jo, Devillers, Raymond, Milojevic, Dragomir, Navet, Nicolas

Year:

2008

Language:

english

File:

PDF, 298 KB

english, 2008

9

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints

Sundharam, Sakthivel, Navet, Nicolas, Altmeyer, Sebastian, Havet, Lionel

Journal:

Year:

2018

Language:

english

File:

PDF, 2.31 MB

english, 2018

10

Frame packing under real-time constraints

Marques, Ricardo Santos, Navet, Nicolas, Simonot-Lion, Françoise

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 927 KB

english, 2003

11

Optimal replica allocation for TTP/C based systems 1

Gaujal, Bruno, Navet, Nicolas

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 951 KB

english, 2003

12

[IEEE 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Vienna, Austria (2016.4.11-2016.4.14)] 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems

Fejoz, Loic, Navet, Nicolas, Sundharam, Sakthivel Manikandan, Altmeyer, Sebastian

Year:

2016

Language:

english

File:

PDF, 59 KB

english, 2016

13

[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Formal Analysis of the Startup Delay of SOME/IP Service Discovery

Seyler, Jan R., Streichert, Thilo, Glaβ, Michael, Navet, Nicolas, Teich, Jürgen

Year:

2015

File:

PDF, 195 KB

2015

14

Towards a declarative modeling and execution framework for real-time systems

Altmeyer, Sebastian, Navet, Nicolas

Journal:

ACM SIGBED Review

Year:

2016

Language:

english

File:

PDF, 873 KB

english, 2016

15

[Industrial Information Technology] Automotive Embedded Systems Handbook || Application of the AUTOSAR Standard

Navet, Nicolas, Simonot-Lion, Francoise

Year:

2008

Language:

english

File:

PDF, 549 KB

english, 2008

16

[Industrial Information Technology] Automotive Embedded Systems Handbook || Dependable Automotive CAN Networks

Navet, Nicolas, Simonot-Lion, Francoise

Year:

2008

Language:

english

File:

PDF, 744 KB

english, 2008

17

[IEEE 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) - Trondheim, Norway (2017.5.31-2017.6.2)] 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) - Model-based design languages: A case study

Bertolotti, Ivan Cibrario, Hu, Tingting, Navet, Nicolas

Year:

2017

Language:

english

File:

PDF, 184 KB

english, 2017

18

Modeling and Verification of Real-Time Systems || List of Authors

Merz, Stephan, Navet, Nicolas

Year:

2008

File:

PDF, 23 KB

2008

19

Automated fault tolerance augmentation in model-driven engineering for CPS

Hu, Tingting, Cibrario Bertolotti, Ivan, Navet, Nicolas, Havet, Lionel

Journal:

Computer Standards & Interfaces

Year:

2020

File:

PDF, 1.87 MB

2020

20

[IEEE Factory Automation (ETFA 2009) - Palma de Mallorca, Spain (2009.09.22-2009.09.25)] 2009 IEEE Conference on Emerging Technologies & Factory Automation - Aperiodic traffic in response time analyses with adjustable safety level

Khan, Dawood A., Navet, Nicolas, Bavoux, Bernard, Migge, Jorn

Year:

2009

Language:

english

File:

PDF, 846 KB

english, 2009

21

[IEEE 2016 Sixth International Symposium on Embedded Computing and System Design (ISED) - Patna, India (2016.12.15-2016.12.17)] 2016 Sixth International Symposium on Embedded Computing and System Design (ISED) - Connected motorized riders — A smart mobility system to connect two and three-wheelers

Sundharam, Sakthivel Manikandan, Fejoz, Loic, Navet, Nicolas

Year:

2016

Language:

english

File:

PDF, 1.39 MB

english, 2016

22

[IEEE 2016 Sixth International Symposium on Embedded Computing and System Design (ISED) - Patna, India (2016.12.15-2016.12.17)] 2016 Sixth International Symposium on Embedded Computing and System Design (ISED) - A model-based development environment for rapid-prototyping of latency-sensitive automotive control software

Sundharam, Sakthivel Manikandan, Havet, Lionel, Altmeyer, Sebastian, Navet, Nicolas

Year:

2016

Language:

english

File:

PDF, 630 KB

english, 2016

23

Traffic shaping to reduce jitter in controller area network (CAN)

Davis, Robert I., Navet, Nicolas

Journal:

ACM SIGBED Review

Year:

2012

Language:

english

File:

PDF, 616 KB

english, 2012

24

[IEEE Factory Automation (ETFA 2011) - Toulouse, France (2011.09.5-2011.09.9)] ETFA2011 - Impact of clock drifts on CAN frame response time distributions

Monot, Aurelien, Navet, Nicolas, Bavoux, Bernard

Year:

2011

Language:

english

File:

PDF, 1.09 MB

english, 2011

25

NETCARBENCH: A BENCHMARK FOR TECHNIQUES AND TOOLS USED IN THE DESIGN OF AUTOMOTIVE COMMUNICATION SYSTEMS

Braun, Christelle, Havet, Lionel, Navet, Nicolas

Journal:

IFAC Proceedings Volumes

Year:

2007

Language:

english

File:

PDF, 365 KB

english, 2007

26

Validation of in-vehicle real-time applications

Nicolas Navet, Ye-Qiong Song

Journal:

Computers in Industry

Year:

2001

Language:

english

File:

PDF, 312 KB

english, 2001

27

Towards the systematic analysis of non-functional properties in model-based engineering for real-time embedded systems

Brau, Guillaume, Hugues, Jérôme, Navet, Nicolas

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

28

SAE Technical Paper Series [SAE International WCX World Congress Experience - (APR. 10, 2018)] SAE Technical Paper Series - Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism

Navet, Nicolas, Migge, Jorn, Villanueva, Josetxo, Boyer, Marc

Year:

2018

Language:

english

File:

PDF, 762 KB

english, 2018

29

[IEEE 2012 9th IEEE International Workshop on Factory Communication Systems - (WFCS 2012) - Lemgo, NRW, Germany (2012.05.21-2012.05.24)] 2012 9th IEEE International Workshop on Factory Communication Systems - Controller Area Network (CAN): Response time analysis with offsets

Yomsi, Patrick Meumeu, Bertrand, Dominique, Navet, Nicolas, Davis, Robert I.

Year:

2012

Language:

english

File:

PDF, 470 KB

english, 2012

30

Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS

Grenier, Mathieu, Navet, Nicolas

Journal:

IEEE Transactions on Industrial Informatics

Year:

2008

Language:

english

File:

PDF, 451 KB

english, 2008

31

Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use

Gaujal, Bruno, Navet, Nicolas, Walsh, Cormac

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2005

Language:

english

File:

PDF, 373 KB

english, 2005

32

Dual-Priority versus Background Scheduling: A Path-Wise Comparison

Bruno Gaujal, Nicolas Navet, Jorn Migge

Journal:

Real-Time Systems

Year:

2003

Language:

english

File:

PDF, 635 KB

english, 2003

33

[IEEE 2010 8th IEEE International Workshop on Factory Communication Systems - (WFCS 2010) - Nancy, France (2010.05.18-2010.05.21)] 2010 IEEE International Workshop on Factory Communication Systems Proceedings - Integrating hardware limitations in CAN schedulability analysis

Khan, Dawood A., Bril, Reinder J., Navet, Nicolas

Year:

2010

Language:

english

File:

PDF, 364 KB

english, 2010

34

[ACM Press the 1st International Workshop - Viena, Austria (2011.11.29-2011.11.29)] Proceedings of the 1st International Workshop on Worst-Case Traversal Time - WCTT '11 - An efficient and simple class of functions to model arrival curve of packetised flows

Boyer, Marc, Migge, Jörn, Navet, Nicolas

Year:

2011

Language:

english

File:

PDF, 955 KB

english, 2011

35

[ACM Press the 25th International Conference - Grenoble, France (2017.10.04-2017.10.06)] Proceedings of the 25th International Conference on Real-Time Networks and Systems - RTNS '17 - Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Brau, Guillaume, Navet, Nicolas, Hugues, Jérôme

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

36

[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Towards seamless integration of N-version programming in model-based design

Hu, Tingting, Bertolott, Ivan Cibrario, Navet, Nicolas

Year:

2017

Language:

english

File:

PDF, 191 KB

english, 2017

37

[IEEE Factory Automation (ETFA 2011) - Toulouse, France (2011.09.5-2011.09.9)] ETFA2011 - Schedulability analysis of CAN with non-abortable transmission requests

Khan, Dawood A., Davis, Robert I., Navet, Nicolas

Year:

2011

Language:

english

File:

PDF, 1.23 MB

english, 2011

38

[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Software patterns for fault injection in CPS engineering

Navet, Nicolas, Bertolotti, Ivan Cibrario, Hu, Tingting

Year:

2017

Language:

english

File:

PDF, 179 KB

english, 2017

39

[ACM Press the International Workshop - Amsterdam, Netherlands (2016.10.30-2016.10.30)] Proceedings of the International Workshop on Domain-Specific Modeling - DSM 2016 - CPAL: high-level abstractions for safe embedded systems

Navet, Nicolas, Fejoz, Loïc

Year:

2016

Language:

english

File:

PDF, 408 KB

english, 2016

40

[IEEE 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Vienna, Austria (2016.4.11-2016.4.14)] 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Poster Abstract: An Optimizing Framework for Real-Time Scheduling

Sundharam, Sakthivel Manikandan, Altmeyer, Sebastian, Navet, Nicolas

Year:

2016

Language:

english

File:

PDF, 65 KB

english, 2016

41

Dynamic voltage scaling under EDF revisited

Bruno Gaujal, Nicolas Navet

Journal:

Real-Time Systems

Year:

2007

Language:

english

File:

PDF, 501 KB

english, 2007

42

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - A Contract-Based Approach to Support Goal-Driven Analysis

Brau, Guillaume, Hugues, Jerome, Navet, Nicolas

Year:

2015

Language:

english

File:

PDF, 381 KB

english, 2015

43

[Industrial Information Technology] Automotive Embedded Systems Handbook || Embedded Communications

Navet, Nicolas, Simonot-Lion, Francoise

Year:

2008

Language:

english

File:

PDF, 148 KB

english, 2008

44

Timing Analysis of Compound Scheduling Policies: Application to Posix1003.1B

Jörn Migge, Alain Jean-Marie, Nicolas Navet

Journal:

Journal of Scheduling

Year:

2003

Language:

english

File:

PDF, 437 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски